Package control

Class Summary
Community This class permits to create the Cartesian product of all community states and all final states of a set of available services
CState This Class represent a tuple of states, one for each available service
IteratorCommunityStates This Class is an iterator on community states and allows to build Cartesian product on fly
IteratorFinalCommunityStates This Class is an iterator on community final states and allows to build Cartesian product on fly
Orchestrator This Class permits to generate the Orchestrator and obtain its result
OrchestratorKey Class to contain a couple of states which are in simulation with the action for that they are simulated
SimulatedBy Class which contains a couple of states: one target state and one community state
Simulation This Class contains algorithms useful for simulation